H ?
«
‹
←
→
›
»
Language peer sets for Van Emden and Kowalsi extended Prolog:
United Kingdom↑
United Kingdom/1974↑
Designed 1974 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Van Emden and Kowalsi extended Prolog(ID:7890/)
alternate simple view
Country: United Kingdom
Designed 1974
Predicate logic as programming language 1974
Extension of the Horn-clause logic in Prolog to the general case
Related languages
Prolog |
→
|
Van Emden and Kowalsi extended Prolog | |
Generalisation of |
References:
Kowalski, R Logic for problem-solvmg DCL Memo 75, (1974) Kowalski, R Logic for problem-solvmg DCL Memo 75, Dep Artificial Intelligence, U. of Edinburgh, Edmburgh, 1974
(1974) Kowalski, R Predicate logic as programming language Proc IFIP Cong 1974, North-Holland Pub Co , Amsterdam, 1974, pp 569-574
Source Kowalski, R Logic for problem-solvmg DCL Me (1974) Source Kowalski, R Logic for problem-solvmg DCL Memo 75, Dep Artificial Intelligence, U. of Edinburgh, Edmburgh, 1974
Van Emden, M. H. and R. A. Kowalski (1976) Van Emden, M. H. and R. A. Kowalski "The Semantics of Predicate Logic as a Programming Language" pp733-742
Abstract
DOI
in [ACM] (1976) [ACM] JACM 23(4) October 1976
Kowalski (1981) Kowalski, Robert A. "Prolog as a logic programming language"
University of London. Department of computing. Research reports DOC 81/26 1981
in [ACM] (1976) [ACM] JACM 23(4) October 1976
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|